Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
301	Boolean Games Paul Harrenstein, Wiebe van der Hoek t, John-Jules Meyer Institute of Information and Computing Sciences, Utrecht University & Cees Witteveen Faculty of Information Technology and Systems, Delft University Add to Reading List Source URL: www.tark.org Language: English* - Date: 2011-10-23 10:31:50 Propositional calculus Boolean algebra Semantics Model theory Tautology Satisfiability Interpretation Forcing Logical connective Logic Mathematical logic Mathematics
302	3 Complexity of Reasoning Francesco M. Donini Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Complexity classes Finite model theory Boolean algebra Predicate logic Boolean satisfiability problem True quantified Boolean formula NP-complete Description logic FO Theoretical computer science Computational complexity theory Applied mathematics
303	Journal of Artificial Intelligence Research[removed]472 Submitted[removed]; published[removed] Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2008-03-25 22:30:40 Dynamic programming Model theory Markov processes Stochastic control Boolean algebra Markov decision process Reinforcement learning Function Propositional variable Mathematics Statistics Logic
304	77th Workshop on General Algebra, 24th Conference for Young Algebraists University of Potsdam, Institute of Mathematics Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2010-02-17 05:38:48 Universal algebra Mathematical structures Algebraic structures Boolean algebra Variety Structure Quasigroup Model theory Outline of algebraic structures Abstract algebra Mathematics Algebra
305	A Sufficient Completeness Reasoning Tool for Partial Specifications Technical Report (Draft) Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:15:04 Boolean algebra Measure theory Probability theory Sigma-algebra Parity of a permutation Model theory Admissible rule Unification Laplace transform Mathematics Mathematical analysis Mathematical logic
306	The Rational Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-09-01 09:13:26 Algebraic logic Boolean algebra Metalogic Model theory Sigma-algebra Structure Function Action algebra Mathematics Mathematical logic Abstract algebra
307	165 A Suﬃcient Completeness Reasoning Tool Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:14:48 Measure theory Probability theory Sigma-algebra Parity of a permutation Model theory Completeness Elementary class Mathematics Mathematical analysis Boolean algebra
308	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2000-08-29 08:41:20 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
309	SoftCOM[removed]8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:41:14 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram
310	Publications of T. Jech 1. (with B. Balcar), Modeli teorii mnoжestv obrazovannye soverxennym ˇ otnoxeniem, (Models of set theory given by perfect relations), Casopis pro pˇestov´an´ı matematiky[removed]), 413–434 Add to Reading List Source URL: www.math.psu.edu Language: English - Date: 2010-05-28 08:39:16 Set theory Order theory Boolean algebra Algebraic structures Algebraic logic PCF theory Model theory Stationary set Ideal Mathematical logic Mathematics Logic

UPDATE